Optimal. Leaf size=90 \[ \frac{2 i a^3 (c-i c \tan (e+f x))^{3/2}}{3 c^2 f}-\frac{8 i a^3 \sqrt{c-i c \tan (e+f x)}}{c f}-\frac{8 i a^3}{f \sqrt{c-i c \tan (e+f x)}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.160996, antiderivative size = 90, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 33, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.091, Rules used = {3522, 3487, 43} \[ \frac{2 i a^3 (c-i c \tan (e+f x))^{3/2}}{3 c^2 f}-\frac{8 i a^3 \sqrt{c-i c \tan (e+f x)}}{c f}-\frac{8 i a^3}{f \sqrt{c-i c \tan (e+f x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3522
Rule 3487
Rule 43
Rubi steps
\begin{align*} \int \frac{(a+i a \tan (e+f x))^3}{\sqrt{c-i c \tan (e+f x)}} \, dx &=\left (a^3 c^3\right ) \int \frac{\sec ^6(e+f x)}{(c-i c \tan (e+f x))^{7/2}} \, dx\\ &=\frac{\left (i a^3\right ) \operatorname{Subst}\left (\int \frac{(c-x)^2}{(c+x)^{3/2}} \, dx,x,-i c \tan (e+f x)\right )}{c^2 f}\\ &=\frac{\left (i a^3\right ) \operatorname{Subst}\left (\int \left (\frac{4 c^2}{(c+x)^{3/2}}-\frac{4 c}{\sqrt{c+x}}+\sqrt{c+x}\right ) \, dx,x,-i c \tan (e+f x)\right )}{c^2 f}\\ &=-\frac{8 i a^3}{f \sqrt{c-i c \tan (e+f x)}}-\frac{8 i a^3 \sqrt{c-i c \tan (e+f x)}}{c f}+\frac{2 i a^3 (c-i c \tan (e+f x))^{3/2}}{3 c^2 f}\\ \end{align*}
Mathematica [A] time = 2.74785, size = 94, normalized size = 1.04 \[ \frac{2 a^3 \sec (e+f x) \sqrt{c-i c \tan (e+f x)} (-5 i \sin (2 (e+f x))+11 \cos (2 (e+f x))+12) (\sin (e+4 f x)-i \cos (e+4 f x))}{3 c f (\cos (f x)+i \sin (f x))^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.05, size = 66, normalized size = 0.7 \begin{align*}{\frac{2\,i{a}^{3}}{f{c}^{2}} \left ({\frac{1}{3} \left ( c-ic\tan \left ( fx+e \right ) \right ) ^{{\frac{3}{2}}}}-4\,c\sqrt{c-ic\tan \left ( fx+e \right ) }-4\,{\frac{{c}^{2}}{\sqrt{c-ic\tan \left ( fx+e \right ) }}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.22833, size = 95, normalized size = 1.06 \begin{align*} -\frac{2 i \,{\left (\frac{12 \, a^{3} c}{\sqrt{-i \, c \tan \left (f x + e\right ) + c}} - \frac{{\left (-i \, c \tan \left (f x + e\right ) + c\right )}^{\frac{3}{2}} a^{3} - 12 \, \sqrt{-i \, c \tan \left (f x + e\right ) + c} a^{3} c}{c}\right )}}{3 \, c f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.46089, size = 207, normalized size = 2.3 \begin{align*} \frac{\sqrt{2}{\left (-12 i \, a^{3} e^{\left (4 i \, f x + 4 i \, e\right )} - 48 i \, a^{3} e^{\left (2 i \, f x + 2 i \, e\right )} - 32 i \, a^{3}\right )} \sqrt{\frac{c}{e^{\left (2 i \, f x + 2 i \, e\right )} + 1}}}{3 \,{\left (c f e^{\left (2 i \, f x + 2 i \, e\right )} + c f\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} a^{3} \left (\int - \frac{3 \tan ^{2}{\left (e + f x \right )}}{\sqrt{- i c \tan{\left (e + f x \right )} + c}}\, dx + \int \frac{3 i \tan{\left (e + f x \right )}}{\sqrt{- i c \tan{\left (e + f x \right )} + c}}\, dx + \int - \frac{i \tan ^{3}{\left (e + f x \right )}}{\sqrt{- i c \tan{\left (e + f x \right )} + c}}\, dx + \int \frac{1}{\sqrt{- i c \tan{\left (e + f x \right )} + c}}\, dx\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (i \, a \tan \left (f x + e\right ) + a\right )}^{3}}{\sqrt{-i \, c \tan \left (f x + e\right ) + c}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]